On the Systematic Conformance Check of Software Artefacts
نویسندگان
چکیده
In this paper we present a systematic check of the conformance of the implemented and the intended software architecture. Nowadays industry is confronted with rapidly evolving embedded systems. In order to effectively reuse design artefacts such as requirements, architectural views and analysis, as well as the code base, it is important to have a consistent overview in each phase of the development process. In this paper we propose a conformance check framework that combines a colloquial engineering model and a conformance check system based on commodity technology, albeit the model and the system can be used in their own right. An academic experiment exemplifies the application of our framework.
منابع مشابه
Fesca 2011
Non-functional properties of software should be specified early in the development process. In a distributed process of software development, this means that quality requirements must be made explicit in the specification, and the developing party of a commissioned component needs to deliver not only the implemented component, but also a description of its non-functional properties. Based on th...
متن کاملSystematic Testing of Software Architectures in the C2 Style
The topic of software architecture (SA) based testing has recently raised some interest. Recent work on the topic has used the SA as a reference model for code conformance testing, to check if an implementation fulfills (conforms to) its specification at the SA level. In this context, on previous papers, we have analyzed: i) how suitable test cases can be “selected” from the SA specification an...
متن کاملSystematic Testing of Radiotherapy Accelerators
The nature of radiotherapy accelerators is briefly explained. It is argued that these complex safety-critical systems need a systematic basis for testing their software. The paper describes a novel application of protocol specification and testing methods to radiotherapy accelerators. It is explained that the accelerator control system is specified using LOTOS (Language Of Temporal Ordering Spe...
متن کاملAn Evolutionary Approach to Software Modularity Conformance Checking
People have realized the importance of modularity for decades, and still grapple with modularity decay caused by unexpected dependencies. Given a design that is wellmodularized, it is difficult to determine whether its implementation realizes the designed modularity without introducing unexpected dependencies between modules. Manually comparing source code modular structure with abstracted desi...
متن کاملConformance Checking for Models of Asynchronous Message Passing Software
We propose a notion of conformance between a specification S and an implementation model I extracted from a message-passing program. In our framework, S and I are CCS processes, which soundly abstract the externally visible communication behavior of a messagepassing program. We use the extracted models to check that programs do not get stuck, waiting to receive or trying to send messages in vai...
متن کامل